The conclusion of this chapter is that higher-order vagueness is universal: no sentence whatsoever is definitely true, definitely definitely true, definitely definitely definitely true, and so on ad infinitum. The argument, of which there are several versions, turns on the existence of Sorites sequences of possible worlds connecting the actual world to possible worlds where a given sentence is used in such a way that its meaning is very different. The chapter attempts to be neutral between competing accounts of the (...) nature of vagueness and definiteness. (shrink)

This paper investigates the form a modal realist analysis of possibility and necessity should take. It concludes that according to the best version of modal realism, the notion of a world plays no role in the analysis of modal claims. All contingent claims contain some de re element; the effect of modal operators on these elements is described by a counterpart theory which takes the same form whether the de re reference is to a world or to something else. This (...) fully general counterpart theory can validate orthodox modal logic, including the logic of 'actually'. (shrink)

Ambiguous figures pose a problem for representationalists, particularly for representationalists who believe that the content of perceptual experience is non-conceptual (MacPherson in Nous 40(1):82–117, 2006). This is because, in viewing ambiguous figures, subjects have perceptual experiences that differ in phenomenal properties without differing in non-conceptual content. In this paper, I argue that ambiguous figures pose no problem for non-conceptual representationalists. I argue that aspect shifts do not presuppose or require the possession of sophisticated conceptual resources and that, although viewing ambiguous (...) figures often causes a change in phenomenal properties, this change is accompanied by a change in non-conceptual content. I illustrate the case by considering specific examples. (shrink)

According to a tradition stemming from Quine and Putnam, we have the same broadly inductive reason for believing in numbers as we have for believing in electrons: certain theories that entail that there are numbers are better, qua explanations of our evidence, than any theories that do not. This paper investigates how modal theories of the form ‘Possibly, the concrete world is just as it in fact is and T’ and ‘Necessarily, if standard mathematics is true and the concrete world (...) is just as it in fact is, then T’ bear on this claim. It concludes that, while analogies with theories that attempt to eliminate unobservable concrete entities provide good reason to regard theories of the former sort as explanatorily bad, this reason does not apply to theories of the latter sort. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

We argue that all comparative expressions in natural language obey a principle that we call Comparability: if x and y are at least as F as themselves, then either x is at least as F as y or y is at least as F as x. This principle has been widely rejected among philosophers, especially by ethicists, and its falsity has been claimed to have important normative implications. We argue that Comparability is needed to explain the goodness of several patterns (...) of inference that seem manifestly valid, that the purported failures of Comparability would have absurd consequences, and that the influential arguments against Comparability are less compelling than they may have initially seemed. (shrink)

This paper is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: (...) Nov. 4th, 2016]. (shrink)

Lewis's notion of a "natural" property has proved divisive: some have taken to the notion with enthusiasm, while others have been sceptical. However, it is far from obvious what the enthusiasts and the sceptics are disagreeing about. This paper attempts to articulate what is at stake in this debate.

We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at (...) a given possible world; so a proposition that is now true at all worlds, and thus necessarily true, may yet at some past or future time be false in the actual world, and thus not always true. We reconstruct and criticize several lines of argument in favor of this picture, and then argue against the picture on the grounds that it is inconsistent with certain sorts of contingency in the structure of time. (shrink)

Seth Yalcin has pointed out some puzzling facts about the behaviour of epistemic modals in certain embedded contexts. For example, conditionals that begin ‘If it is raining and it might not be raining, … ’ sound unacceptable, unlike conditionals that begin ‘If it is raining and I don’t know it, … ’. These facts pose a prima facie problem for an orthodox treatment of epistemic modals as expressing propositions about the knowledge of some contextually specified individual or group. This paper (...) develops an explanation of the puzzling facts about embedding within an orthodox framework. (shrink)

This paper considers how counterfactuals should be evaluated on the assumption that determinism is true. I argue against Lewis's influential view that the actual laws of nature would have been false if something had happened that never actually happened, and in favour of the competing view that history would have been different all the way back. I argue that we can do adequate justice to our ordinary practice of relying on a wide range of historical truths in evaluating counterfactuals by (...) saying that, in typical cases, history would have been only *very slightly* different until shortly before the relevant time. The paper also draws some connections between the puzzle about counterfactuals under determinism and the debate about whether determinism entails that no-one can ever do otherwise than they in fact do. (shrink)

We present and discuss a counterexample to the following plausible principle: if you know that a coin is fair, and for all you know it is going to be flipped, then for all you know it will land tails.

This paper defends the claim that although ‘Superman is Clark Kent and some people who believe that Superman flies do not believe that Clark Kent flies’ is a logically inconsistent sentence, we can still utter this sentence, while speaking literally, without asserting anything false. The key idea is that the context-sensitivity of attitude reports can be - and often is - resolved in different ways within a single sentence.

Standard models of visual perception hold that vision is an inferential or interpretative process. Such models are said to be superior to competing, non-inferential views in explanatory power. In particular, they are said to be capable of explaining a number of otherwise mysterious, visual phenomena such as multi-stable perception. Multi-stable perception paradigmatically occurs in the presence of ambiguous figures, single images that can give rise to two or more distinct percepts. Different interpretations are said to produce the different percepts. In (...) this paper, I argue that a non-inferential account of visual perception is just as capable of explaining multi-stable perception. I propose an embedded understanding of vision, and show how the embedded account can, after properly qualifying them, use the explanatory resources of the inferential view to explain just what such a view explains. (shrink)

In this paper we present a theoretical framework to understand the underlying psychological mechanism involved in human-Companion Robot interactions. At first, we take the case of Sexual Robotics, where the psychological dynamics are more evident, to thereafter extend the discussion to Companion Robotics in general. First, we discuss the differences between a sex-toy and a Sexual Robots, concluding that the latter may establish a collusive and confirmative dynamics with the user. We claim that the collusiveness leads to two main consequences, (...) such as the fixation on a specific and atypical type of sexual interaction, called paraphilic, and to the infantilization of the user, which we explain through the theoretical framework of “object-relation theory”. We argue that these dynamics may degrade to an infantile stage the relational abilities of users, extending this argument to Companion Robots in general. Then, we enquire if and how the relational dynamics enacted in HRI may shift to human relations: we discuss the analogy with virtual reality concluding that, under certain condition, a symbolic shift might happen. In the last part of this work, we propose an experimental setup to verify if a collusive and confirmative interaction with a Companion Robot can, over time, impact on the user’s ability to manage relational frustration. (shrink)

We defend three controversial claims about preference, credence, and choice. First, all agents (not just rational ones) have complete preferences. Second, all agents (again, not just rational ones) have real-valued credences in every proposition in which they are confident to any degree. Third, there is almost always some unique thing we ought to do, want, or believe.

David Builes presents a paradox concerning how confident you should be that any given member of an infinite collection of fair coins landed heads, conditional on the information that they were all flipped and only finitely many of them landed heads. We argue that if you should have any conditional credence at all, it should be 1/2.

Philosophers of perception widely agree that sensory properties, like color, are represented in perceptual experience. Arguments are usually needed to establish that something other than sensory properties, for example three-dimensional objects or kind properties, are part of perceptual content. Call the idea that sensory properties are represented in perceptual experience the Sensation View (SV). Given its widespread acceptance, we may expect to find strong reasons for holding SV. In this paper, I argue that we lack such reasons: SV is largely (...) unjustified. We have surprisingly poor justification for thinking that sensory properties are represented in perception. By focusing on the case of vision, I show that an embedded understanding of visual perception, and empirical evidence in cognitive psychology, indicate that SV is far from warranted. (shrink)

This paper is a response to Theodore Sider's book, Writing the Book of the World. It raises some puzzles about Sider's favoured methodology for finding out about naturalness (or 'structure').

This paper questions two prima facie plausible claims concerning switching in the presence of ambiguous figures. The first is the claim that reversing is an instantaneous process. The second is the claim that the ability to reverse demonstrates the interpretive, inferential and constructive nature of visual processing. Empirical studies show that optical and cerebral events related to switching protract in time in a way that clashes with its perceived instantaneity. The studies further suggest an alternative theory of reversing: according to (...) such alternative, seeing the same thing in multiple ways is a matter of uncovering what is already present to the senses through visual search. (shrink)

Timothy Williamson has shown that the B axiom for 'definitely' (α → Δ¬Δ¬α) guarantees that if a sentence is second-order vague in a Kripke model, it is nth order vague for every n. More recently, Anna Mahtani has argued that Williamson's epistemicist theory of vagueness does not support the B axiom, and conjectured that if we consider models in which the “radius of accessibility” varies between different points, we will be able to find sentences that are nth-order vague but (n+1)th-order (...) precise, for any n. This paper bolsters Mahtani's argument, shows her conjecture to be true, and shows that imposing certain further natural constraints on "variable radius" models does not change the situation. (shrink)

In a recent paper, Yoaav Isaacs, Alan Hájek, and John Hawthorne argue for the rational permissibility of "credal imprecision" by appealing to certain propositions associated with non-measurable spatial regions: for example, the proposition that the pointer of a spinner will come to rest within a certain non-measurable set of points on its circumference. This paper rebuts their argument by showing that its premises lead to implausible consequences in cases where one is trying to learn, by making multiple observations, whether a (...) certain outcome is associated with a non-measurable region or a measurable one. (shrink)

I explore some ways in which one might base an account of the fundamental metaphysics of geometry on the mathematical theory of Linear Structures recently developed by Tim Maudlin (2010). Having considered some of the challenges facing this approach, Idevelop an alternative approach, according to which the fundamental ontology includes concrete entities structurally isomorphic to functions from space-time points to real numbers.

Region R Question: How many objects — entities, things — are contained in R? Ignore the empty space. Our question might better be put, 'How many material objects does R contain?' Let's stipulate that A, B and C are metaphysical atoms: absolutely simple entities with no parts whatsoever besides themselves. So you don't have to worry about counting a particle's top half and bottom half as different objects. Perhaps they are 'point-particles', with no length, width or breadth. Perhaps they are (...) extended in space without possessing spatial parts (if that is possible). Never mind. We stipulate that A, B and C are perfectly simple. We also stipulate that they are connected as follows. A and B are stuck together in such a way that when a force is applied to one of them, they move together 'as a unit'. Moreover, the two of them together exhibit behavior that neither would exhibit on its own — Perhaps they emit a certain sound, or glow in the dark — whereas C is.. (shrink)

A discussion of a view, defended by Robert Adams and Boris Kment, according to which contingent existence requires rejecting many standard principles of propositional modal logic involving iterated modal operators.

Nossa pesquisa vai refletir sobre o discurso da política educacional brasileira implementada a partir da Lei de Diretrizes e Bases da Educação Nacional, particularmente, aquele que trata da formação docente. Ele tem imposto uma reconfiguração da identidade dos professores, concedendo-lhes uma autonomia de autoconhecimento e resolução dos problemas cotidianos, que, no nosso entendimento, não corresponde ao que acontece na escola (VILLA, 1998; LAWN, 2001; VEIGA, 2002; VASCONCELLOS, 2003). Assim, pretendemos apresentar e discutir sobre as representações da identidade do professor nos (...) PCN (Português). Esperamos, com isso, contribuir para a construção de uma política de formação de professores sensível às diferenças culturais e identitárias dos professores no Brasil. (shrink)

Value Sensitive Design (VSD) is an established method for integrating values into technical design. It has been applied to different technologies and, more recently, to artificial intelligence (AI). We argue that AI poses a number of challenges specific to VSD that require a somewhat modified VSD approach. Machine learning (ML), in particular, poses two challenges. First, humans may not understand how an AI system learns certain things. This requires paying attention to values such as transparency, explicability, and accountability. Second, ML (...) may lead to AI systems adapting in ways that ‘disembody’ the values embedded in them. To address this, we propose a threefold modified VSD approach: 1) integrating a known set of VSD principles (AI4SG) as design norms from which more specific design requirements can be derived; 2) distinguishing between values that are promoted and respected by the design to ensure outcomes that not only do no harm but also contribute to good; and 3) extending the VSD process to encompass the whole life cycle of an AI technology in order to monitor unintended value consequences and redesign as needed. We illustrate our VSD for AI approach with an example use case of a SARS-CoV-2 contact tracing app. (shrink)

We develop a Bayesian framework for thinking about the way evidence about the here and now can bear on hypotheses about the qualitative character of the world as a whole, including hypotheses according to which the total population of the world is infinite. We show how this framework makes sense of the practice cosmologists have recently adopted in their reasoning about such hypotheses.

This chapter proposed a novel design methodology called Value-Sensitive Design and its potential application to the field of artificial intelligence research and design. It discusses the imperatives in adopting a design philosophy that embeds values into the design of artificial agents at the early stages of AI development. Because of the high risk stakes in the unmitigated design of artificial agents, this chapter proposes that even though VSD may turn out to be a less-than-optimal design methodology, it currently provides a (...) framework that has the potential to embed stakeholder values and incorporate current design methods. The reader should begin to take away the importance of a proactive design approach to intelligent agents. (shrink)

Past research has identified a number of asymmetries based on moral judgments. Beliefs about what a person values, whether a person is happy, whether a person has shown weakness of will, and whether a person deserves praise or blame seem to depend critically on whether participants themselves find the agent's behavior to be morally good or bad. To date, however, the origins of these asymmetries remain unknown. The present studies examine whether beliefs about an agent's “true self” explain these observed (...) asymmetries based on moral judgment. Using the identical materials from previous studies in this area, a series of five experiments indicate that people show a general tendency to conclude that deep inside every individual there is a “true self” calling him or her to behave in ways that are morally virtuous. In turn, this belief causes people to hold different intuitions about what the agent values, whether the agent is happy, whether he or she has shown weakness of will, and whether he or she deserves praise or blame. These results not only help to answer important questions about how people attribute various mental states to others; they also contribute to important theoretical debates regarding how moral values may shape our beliefs about phenomena that, on the surface, appear to be decidedly non-moral in nature. (shrink)

An intuitive and widely accepted view is that (a) beliefs aim at truth, (b) many citizens have stable and meaningful political beliefs, and (c) citizens choose to support political candidates or parties on the basis of their political beliefs. We argue that all three claims are false. First, we argue that political beliefs often differ from ordinary world-modelling beliefs because they do not aim at truth. Second, we draw on empirical evidence from political science and psychology to argue that most (...) people lack stable and meaningful political beliefs. Third, we claim that the true psychological basis for voting behavior is not an individual’s political beliefs but rather group identity. Along the way, we reflect on what this means for normative democratic theory. (shrink)

Lethal Autonomous Weapons (LAWs) are robotic weapons systems, primarily of value to the military, that could engage in offensive or defensive actions without human intervention. This paper assesses and engages the current arguments for and against the use of LAWs through the lens of achieving more ethical warfare. Specific interest is given particularly to ethical LAWs, which are artificially intelligent weapons systems that make decisions within the bounds of their ethics-based code. To ensure that a wide, but not exhaustive, survey (...) of the implications of employing such ethical devices to replace humans in warfare is taken into account, this paper will engage on matters related to current scholarship on the rejection or acceptance of LAWs—including contemporary technological shortcomings of LAWs to differentiate between targets and the behavioral and psychological volatility of humans—and current and proposed regulatory infrastructures for developing and using such devices. After careful consideration of these factors, this paper will conclude that only ethical LAWs should be used to replace human involvement in war, and, by extension of their consistent abilities, should remove humans from war until a more formidable discovery is made in conducting ethical warfare. (shrink)

The pandemic significantly raised the stakes for the translation of bioethics insights into policy. The novelty, range and sheer quantity of the ethical problems that needed to be addressed urgently within public policy were unprecedented and required high‐bandwidth two‐way transfer of insights between academic bioethics and policy. Countries such as the United Kingdom, which do not have a National Ethics Committee, faced particular challenges in how to facilitate this. This paper takes as a case study the brief career of the (...) Ethics Advisory Board (EAB) for the NHS Covid‐19 App, which shows both the difficulty and the political complexity of policy‐relevant bioethics in a pandemic and how this was exacerbated by the transience and informality of the structures through which ethics advice was delivered. It analyses how and why, after EAB's demise, the Westminster government increasingly sought to either take its ethics advice in private or to evade ethical scrutiny of its policies altogether. In reflecting on EAB, and these later ethics advice contexts, the article provides a novel framework for analysing ethics advice within democracies, defining four idealised stances: the pure ethicist, the advocate, the ethics arbiter and the critical friend. (shrink)

This special issue on what some regard as a crisis of replicability in cognitive science (i.e. the observation that a worryingly large proportion of experimental results across a number of areas cannot be reliably replicated) is informed by three recent developments. -/- First, philosophers of mind and cognitive science rely increasingly on empirical research, mainly in the psychological sciences, to back up their claims. This trend has been noticeable since the 1960s (see Knobe, 2015). This development has allowed philosophers to (...) draw on a wider range of relevant resources, but it also makes them vulnerable to relying on claims that may not survive further scrutiny. If we have reasons to believe that a large proportion of findings in the psychological sciences cannot be reliably replicated, this would be a problem for philosophers who use such findings in their work. Second, philosophers are increasingly designing and carrying out their own experiments to back up claims, or to test claims earlier made from the armchair, for example, on the perceived permissibility of diverting trolleys or on the nature of free will. This growing field of experimental philosophy has diversified the intellectual field in philosophy, but may also be vulnerable to issues of replicability that philosophers did not face before. -/- Third, the recent evidence of apparently widespread non-replicability in the social sciences (and other fields) has forced philosophers of science to grapple with long standing questions from their field from a new perspective. To what extent does replicability matter for theory construction? How do the notions of replicability and scientific progress interact? How can normative insights from philosophy of science be used in order to improve scientific practice? -/- It is with these three developments in mind—the increasing importance of empirically-informed philosophy, of experimental philosophy, and of philosophy of science around replicability—that this special issue has been conceived. (shrink)

Tyler Burge is famous for defending primitivist naturalism about mental representations, according to which mental representations are primitive natural states. Primitivist naturalism contrasts with semantic reductionism, according to which mental representations are reducible to more fundamental natural states. Burge developed the most compelling and influential attack on semantic reductionism from a primitivist naturalist point of view. My goal in this paper is to defend semantic reduc- tionism from Burge’s attack. I assess and refute his objection to the motivations for semantic (...) reductionism and his objection to the semantic reductionist theory that he takes to be the most promising one, namely, teleosemantics. I argue that in spite of the ingenuity of Burge’s objections, they fail to show that there is no motivation for taking representational states as reducible to more fundamental natural states or that the core thesis of teleosemantics is flawed. (shrink)

Standard arguments for Bayesian conditionalizing rely on assumptions that many epistemologists have criticized as being too strong: (i) that conditionalizers must be logically infallible, which rules out the possibility of rational logical learning, and (ii) that what is learned with certainty must be true (factivity). In this paper, we give a new factivity-free argument for the superconditionalization norm in a personal possibility framework that allows agents to learn empirical and logical falsehoods. We then discuss how the resulting framework should be (...) interpreted. Does it still model norms of rationality, or something else, or nothing useful at all? We discuss five ways of interpreting our results, three that embrace them and two that reject them. We find one of each kind wanting, and leave readers to choose among the remaining three. (shrink)

A growing body of work in free speech theory is interested in the nature of counterspeech, i.e. speech that aims to counteract the effects of harmful speech. Counterspeech is usually defined in opposition to legal responses to harmful speech, which try to prevent such speech from occurring in the first place. In this paper we challenge this way of carving up the conceptual terrain. Instead, we argue that our main classificatory division, in theorising responses to harmful speech, should be between (...) pro-discursive and anti-discursive responses. Some legal responses to harmful speech, so we argue, make a positive discursive contribution in their own right. That is, legal restrictions on harmful speech can have a function that is importantly similar to speech that aims at countering the effects of harmful speech. (shrink)

In this short paper we consider Linnebo's thin/thick dichotomy: first, we show that it does not overlap with the very common one between abstract/concrete objects; second, on the basis of some difficulties with the distinction, we propose, as a possible way out, to move from thin/thick objects to thin/thick concepts.

Climate change is an existential risk reinforced by ordinary actions in afuent societies—often silently present in comfortable and enjoyable habits. This silence is sometimes broken, presenting itself as a nagging reminder of how our habits fuel a catastrophe. As a case in point, global warming has created a state of urgency among wine makers in Spain, as the alcohol level has risen to a point where it jeopardises wine quality and thereby Spanish viticulture. Eforts are currently being made to solve (...) this problem technologically by developing (non-GMO) strains of yeast that produce less alcohol. If successful, this could help save Spanish viticulture. This kind of technological solution is routinely criticised for ofering simplistic “techno-fx” solutions to solve complex societal problems. However, it is not clear what features are criticised by the notion of techno-fx and hence how to avoid this criticism. In our interpretation, the techno-fx notion is not exclusively used as a dismissive term. The notion points to a general virtue of engineering: to create technological solutions that work silently in the background. This asset of technological solutions might sometimes be problematic and sometimes not. Hence, it needs to be analysed case-by-case by paying attention to the moral relevance of the hidden implications of the technology and of the unrefective actions and habits that they facilitate. Such moral analysis will in turn inform strategies for foregrounding this technology to counteract silencing. We discuss what this means in the case of modifying yeast as a viticultural climate resilience strategy. (shrink)

Entendendo a identidade como construção ideológica, esta pesquisa busca refletir sobre a identidade dos professores de língua portuguesa construída nos Parâmetros Curriculares Nacionais e nas Orientações Curriculares Nacionais para o ensino de língua portuguesa, os quais impõem uma nova postura teórica e prática a estes profissionais. Dito de outra forma, pretende-se apresentar e discutir os resultados de uma análise discursiva das representações da (s) identidade (s) e competências atribuídas aos professores, enfatizando as representações sociais da profissão do professor na sociedade (...) contemporânea brasileira, abrindo a possibilidade para questionarmos a identidade unificada e transparente que os documentos oficiais desenham para os professores. (shrink)

Violence against women is a crime that causes countless victims all over the world. Specially when it occurs within the domestic and familiar environment, usually at home and perpetrated by people who are intimately related to the victims, calling the police might not be an option. Despite that, the Military Police of Rio de Janeiro State answers around five thousand calls every month reporting cases of domestic violence against women. But how can the police improve the prevention of such invisible (...) crimes? How to prevent repetition? How to interrupt the cycle of violence? Based on a collaborative approach with stimuli to the behavioral change, the Motivational Interviewing has been broadly used in several areas, including domestic violence. Considering that this approach may contribute to the interruption of the domestic violence cycle, this research how it can be used by the police to tackle and prevent these crimes. Rio de Janeiro State – Brazil, was chosen as the scenario of research considering its leading position in reports of violence against women in the country. The Military Police of this state, is the subject of research, playing an interventive role in the response to emergency calls but also providing the follow-up of the applicable protective measures. (shrink)

The Full Bayesian Significance Test, FBST, is extensively reviewed. Its test statistic, a genuine Bayesian measure of evidence, is discussed in detail. Its behavior in some problems of statistical inference like testing for independence in contingency tables is discussed.

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...) traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

Schaffer (2010) argues that the internal relatedness of all things, no matter how it is conceived, entails priority monism. He claims that a sufficiently pervasive internal relation among objects implies the priority of the whole, understood as a concrete object. This paper shows that at least in the case of an internal relatedness of all things conceived in terms of physical intentionality - one way to understand dispositions - priority monism not only doesn't follow but also is precluded. We conclude (...) that the internal relatedness of all things is compatible with several different ontologies (including varieties of pluralism) but entails nothing concerning dependence between concrete objects. (shrink)

Este ensaio celebra as cinco décadas da publicação do livro A ordem do discurso de Michel Foucault, realizando uma reflexão acerca de sua repercussão entre as ciências sociais e sobre seus usos, principalmente, no campo da linguagem na parte relacionada à análise do discurso de linha francesa. Portanto, trata-se de uma retrospectiva crítica cuja análise começa com a entrevista que Foucault concedeu algumas semanas antes de proferir esta aula aos brasileiros Sergio Paulo Rouanet e José Guilherme Merquior. Em seguida, o (...) presente trabalho faz uma breve história da entrada de Foucault ao Collège de France e, por fim, lida com a microfísica do discurso que se encontra nesta aula, sobretudo, da rarefação do sujeito, além dos seus usos nas ciências humanas e sociais mais o campo da linguagem em torno da pragmática e das análises de discurso. (shrink)

Assessment of marine debris ingestion by sea turtles is important, especially to ensure their survival. From January to December 2011, 23 specimens of five species of sea turtleswere found dead or dying after being rehabilitated, along the coast of the municipality of Rio de Janeiro, Brazil. To detect the presence of marine debris in the digestive tract of these turtles, we conducted a postmortemexamination from the esophagus until the distal portion of the large intestine for each specimen. Of the total (...) number of turtles, 39% had ingested marine debris such as soft plastic, hard plastic, metal, polyethylene terephthalate (PET) bottle caps, human hair, tampons, and latex condoms. Five of the seven sea turtles species are found along the Brazilian coast, where they feed and breed. A large number of animals are exposed to various kinds of threats, including debris ingestion. (shrink)